:: Int -> Double -package:github package:mixed-types-num

Convert from an Int.